logic variable การใช้

• The dataflow variables of Oz act as concurrent logic variables, and also have blocking semantics as mentioned above.
• These expressions create a minimal logical mapping of the minimal logic variable expressions for the binary expressions to be mapped.
• A " concurrent logic variable " is similar to a future, but is updated by unification, in the same way as " logic variables " in logic programming.
• A " concurrent logic variable " is similar to a future, but is updated by unification, in the same way as " logic variables " in logic programming.
• Creation and roll-back of versions permit backtracking, as found in logic programming, though Claire's backtracking may cover any user-defined structure rather than just a set of logic variables.
• A " concurrent constraint variable " is a generalization of concurrent logic variables to support constraint logic programming : the constraint may be " narrowed " multiple times, indicating smaller sets of possible values.